Verifying Topological Indices for Higher-Order Rank Deficiencies
نویسندگان
چکیده
منابع مشابه
Verifying Topological Indices for Higher-Order Rank Deficiencies
It has been known how to use computational fixed point theorems to verify existence and uniqueness of a true solution to a nonlinear system of equations within a small region about an approximate solution. This can be done in O n operations, where n is the number of equations and unknowns. However, these standard techniques are only valid if the Jacobi matrix for the system is nonsingular at th...
متن کاملHigher order Sobol’ indices
Sobol’ indices measure the dependence of a high dimensional function on groups of variables defined on the unit cube [0, 1]. They are based on the ANOVA decomposition of functions, which is an L decomposition. In this paper we discuss generalizations of Sobol’ indices which yield L measures of the dependence of f on subsets of variables. Our interest is in values p > 2 because then variable imp...
متن کاملVerifying Higher-Order Imperative Programs with Higher-Order Separation Logic
In this thesis I show is that it is possible to give modular correctness proofs of interesting higher-order imperative programs using higher-order separation logic. To do this, I develop a model higher-order imperative programming language, and develop a program logic for it. I demonstrate the power of my program logic by verifying a series of examples, culminating in the correctness proof of a...
متن کاملHigher-Order Low-Rank Regression
This paper proposes an efficient algorithm (HOLRR) to handle regression tasks where the outputs have a tensor structure. We formulate the regression problem as the minimization of a least square criterion under a multilinear rank constraint, a difficult non convex problem. HOLRR computes efficiently an approximate solution of this problem, with solid theoretical guarantees. A kernel extension i...
متن کاملTopological spaces associated to higher-rank graphs
We investigate which topological spaces can be constructed as topological realisations of higher-rank graphs. We describe equivalence relations on higher-rank graphs for which the quotient is again a higher-rank graph, and show that identifying isomorphic co-hereditary subgraphs in a disjoint union of two rank-k graphs gives rise to pullbacks of the associated C∗algebras. We describe a combinat...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Complexity
سال: 2002
ISSN: 0885-064X
DOI: 10.1006/jcom.2001.0634